More from this Author
Found 9 books by C. J. van Rijsbergen (Contribution by)

Topology via Logic
by Steven Vickers, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

The Optimal Implementation of Functional Programming Languages
by Andrea Asperti, Stefano Guerrini, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. V. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)

Basic Proof Theory
by A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

Metamathematics, Machines and Gödel's Proof
by N. Shankar, C. J. van Rijsbergen (Contribution by)

Modal Logic
by Patrick Blackburn, Yde Venema, Maarten De Rijke, C. J. van Rijsbergen (Contribution by)

Term Rewriting Systems
by J. W. Klop, R. C. De Vrijer, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), Terese, J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)

Domains and Lambda-Calculi
by Roberto M. Amadio, Pierre-Louis Curien, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

Advances in Databases and Information Systems
by R. Manthey (Editor), V. Wolfengagen (Editor), C. J. van Rijsbergen (Contribution by)

Belief Revision
by Peter Gärdenfors (Editor), C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)